$\vdash$  ($\lambda$$b$,$z$. $\neg_{b}$$b$) $\in$ $\mathbb{B}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{B}$